Deliberative Argumentation for Service Provision in Smart Environments

In this paper, we introduce an inquiry dialogue approach for supporting decision making in a smart environment setting. These inquiry dialogues have as topic either agreement atoms or agreement rules, which capture services in a smart environment. These services are provided and supported by three rational agents with different roles: Environment Agent, Activity Agent and Coach Agent. These three agents have different capabilities and represent different data sources; however, they have to collaborate in order to deliver services in a smart environment. The knowledge base of each agent is captured by extended logic programs. Therefore, the construction of arguments is supported by the Well-Founded Semantics (WFS). The outcome of the inquiry dialogues is supported by well-known argumentation semantics.